Bug-fixes (pathfind, CC-Initialisation, tautology-eq)