Added function resolver
Added function resolver

This is like a restricted simplifier; it makes things much faster.

uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius