added missing semicolons (bison-3.0 compatibility)
64-bit value size fix in reasoner
automake compliance fixes (allow reconfiguring with automake-1.14)