Basic prototype of oracle finder and test generator using groovy. Works for simple cases.