Compute inverse of clause -> variable relation