fix 3 bugs
1: a buddy bug in L3route
2: an oversight in the compiler (DOES NOT fix the routeralias vs. equality problem)
3: xsb formula construction when all terms in a fmla are constant