Add formula to complile ProbABEL