Functionalities for processing user hints given to Smtlink. User hints will be merged with (smt-hint).