Register SymbolicLP