Trashed "lifting parameters" code. Do not substitute universal variables or parameters when applying the residuum substitution `ans_res`. Tighter checking of directionality in connected components for answers. Remove atoms from postconditions that only constrain parameters.