reconstruct missing pattern term
made output more uniform
do not distinguish variables and constants in constructor terms
Merge pull request #1324 from spechub/1137-better_missing_patterns

reconstruct missing pattern term