Coalgebraic decision procedure for KAT+B!