Trying out preimage computation; Fixed Dfa.projection bug.