new way of recursive consistency checking introduced