Deadlock behaviour of bind and Fixpoints in text