Bug fixed: evalProc() for ASP-compliant advice was inadvertently
modifying the cache's contracts.