Generating dot to given file and dotof command to test dot generation
Removing warning for minus as a not safe op
Added fixpoint calculation with kleene