Add step to k-tables
Update table beliefs 

Implemented CheckFinish rules in UPDATE_BEL