Extended Decision Procedure for a Fragment of HL with Binders