LTSmin for B implementation