added Laplace, separated LLAcc rules and defs