Specialising Logic Programs with respect to Call/Post Specifications