Implement interpretCond