added naive feasibility checker to test transformations
feasibility checker minor