Implementation of decision procedure for WSkS logic