Remove multiple rule bodies
Store valuation as array
Work on efficiency
OK tests with SSSP