Practical Tractability Of Csps By Higher Level Consistency And Tree Decomposition