Method 'copy' added
*Propositional configuration added
*Method getUniqueQVarBindings renamed to getDistinctQVarBindings
Array of values for free variables increased size in 1. This is to avoid
exception when free variables names start in 1