New expression simplification prototype
Skip unused expressions
Working on testing framework
Preserve outputs and return result