Added copiedFrom when extracting pre and postconditions.
Added lookup functions for extracting similar expressions.
Fixed a bug when converting substring to CVC4 target.