implemented the write_reward_label
no segfault anymore but we get now:
mapa2lts-dist, ** error **: Attempt to reverse engineer 0.000000 failed
hot fix for write reward label
this should be possibly handled by rationalize32() in the future
Fixed typo in ltsmin-reduce.
Change guard evaluation type to be lowercase.
Merge branch 'master' into 'next'