fixed transformation bug, added naive feasibility checker to test transformations in the future
testbed for one feasibility checker