BigM: bugs fix & new features