Fix argument parameter handling
Remove buggy show instance for SMTExpr and replace with renderExpr

Showing an SMTExpr requires information from the environment.