It seems that all bugs of Modaber in SatApproach has been debugged